Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Реферативна база даних (2)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Iwaniak M$<.>)
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
1.

Iwaniak M. 
Distributed Transactions Modeling with the Use of Petri Nets [Електронний ресурс] / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і обробка даних. - 2012. - Т. 14, № 3. - С. 81-91. - Режим доступу: http://nbuv.gov.ua/UJRN/rzod_2012_14_3_10
Зроблено спробу використання простої мережі Петрі для моделювання та дослідження трифазного протоколу фіксації (ЗРС). Наведено огляд мереж Петрі. Пояснено сутність звичайних і розподілених транзакцій. Надано опис кроків протоколу ЗРС. Проаналізовано доступність мережі Петрі з протоколом ЗРС і досліджено властивості запропонованої мережі.
Попередній перегляд:   Завантажити - 271.264 Kb    Зміст випуску    Реферативна БД     Цитування
2.

Iwaniak M. 
Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants [Електронний ресурс] / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і обробка даних. - 2013. - Т. 15, № 3. - С. 61-70. - Режим доступу: http://nbuv.gov.ua/UJRN/rzod_2013_15_3_9
Розглянуто застосування розфарбовуваних мереж Петрі для побудови моделей та подальшої імітації двофазного протоколу підтвердження розподілених транзакцій - 2PC (Two-phase commit) з багатьма учасниками. Надано опис основних понять розфарбовуваних мереж Петрі, що використовуються, а також дії двофазного протоколу підтвердження транзакцій для більш ніж одного учасника. За допомогою відповідного вибору початкових розміток проаналізовано досяжні стани для різних ситуацій, які можуть виникнути в процесі реалізації розподілених транзакцій із застосуванням протоколу 2PC.
Попередній перегляд:   Завантажити - 311.24 Kb    Зміст випуску    Реферативна БД     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського